Nuprl Definition : unzip
4,23
postcript
pdf
unzip(
as
) == <map(
p
.1of(
p
);
as
),map(
p
.2of(
p
);
as
)>
latex
Definitions
1of(
t
)
,
map(
f
;
as
)
,
2of(
t
)
FDL editor aliases
unzip
origin
p.1of(p);as),map(p.2of(p);as)> p.1of(p);as),map(p.2of(p);as)>